JADE - AI Support for Debugging Java Programs
نویسندگان
چکیده
Model-based diagnosis is a successful AI technique for locating and identifying faults in technical systems. Extending previous research on model-based diagnosis support for fault search in technical designs, we are building a model-based debugger for Java programs to provide intelligent support for the programmer trying to locate the source of an error. By using one or more models derived from the source code of the program without additional specifications except the Java semantics, the debugger guides the user (i.e., developer) towards potential sources for incorrect program behaviors, i .e., bugs.
منابع مشابه
Identifying causal structure in a biological neural network
JADE-AI Support for Debugging Java Programs p. 62 Data and Knowledge Mining Principles for Mining Summaries Using Objective Measures of Interestingness p. 72 From Data Mining to Rule Refining p. 82 What's New? Using Prior Models as a Measure of Novelty in Knowledge Discovery p. 86 Parallel Mining of Association Rules with a Hopfield Type Neural Network p. 90 Constraint Satisfaction and Optimiza...
متن کاملJade – Java Diagnosis Experiments Status and Outlook
Model-based diagnosis is a successful AI technique for diagnosing physical systems but faces new challenges when applied to finding faults in software, i.e., debugging. Previous work has mostly dealt with modeling the behavior of programming languages with exploitable special properties: logic, concurrent, or functional. In this paper we describe the objectives, the current state, and the addre...
متن کاملObservations and Results Gained from the Jade Project
This paper summarizes the work done in the course of the Jade project, which deals with automatic debugging of Java programs. Besides a brief introduction to the Jade project, models developed to debug Java programs are evaluated and results are presented. Furthermore, insights gained from the results are discussed and topics for further research are identified.
متن کاملA Framework for Monitoring the Execution of Distributed Multi-agent Programs
Developing dependable distributed multi-agent programs is not an easy task. Even with extensive testing and debugging, faults cannot be completely removed. However, many distributed multi-agent programs, especially those employed in safety critical environments, should be able to function properly even in the presence of software faults. Monitoring the execution of a distributed multi-agent pro...
متن کاملLocating Bugs in Java Programs – First Results of the Java Diagnosis Experiments (Jade) project
This paper describes the use of model-based reasoning for locating bugs in Java programs. Model-based diagnosis is a technology that uses a declarative, generic description of the behavior of the components occurring in a domain to construct a model of the overall system which can then be used at the desired level of abstraction to predict a system’s behavior and derive assumptions about which ...
متن کامل